3.12.2 \(\int (d+e x) (c d^2+2 c d e x+c e^2 x^2)^p \, dx\) [1102]

Optimal. Leaf size=39 \[ \frac {\left (c d^2+2 c d e x+c e^2 x^2\right )^{1+p}}{2 c e (1+p)} \]

[Out]

1/2*(c*e^2*x^2+2*c*d*e*x+c*d^2)^(1+p)/c/e/(1+p)

________________________________________________________________________________________

Rubi [A]
time = 0.01, antiderivative size = 39, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.036, Rules used = {643} \begin {gather*} \frac {\left (c d^2+2 c d e x+c e^2 x^2\right )^{p+1}}{2 c e (p+1)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(d + e*x)*(c*d^2 + 2*c*d*e*x + c*e^2*x^2)^p,x]

[Out]

(c*d^2 + 2*c*d*e*x + c*e^2*x^2)^(1 + p)/(2*c*e*(1 + p))

Rule 643

Int[((d_) + (e_.)*(x_))*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Simp[d*((a + b*x + c*x^2)^(p +
1)/(b*(p + 1))), x] /; FreeQ[{a, b, c, d, e, p}, x] && EqQ[2*c*d - b*e, 0] && NeQ[p, -1]

Rubi steps

\begin {align*} \int (d+e x) \left (c d^2+2 c d e x+c e^2 x^2\right )^p \, dx &=\frac {\left (c d^2+2 c d e x+c e^2 x^2\right )^{1+p}}{2 c e (1+p)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.02, size = 28, normalized size = 0.72 \begin {gather*} \frac {\left (c (d+e x)^2\right )^{1+p}}{2 c e (1+p)} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(d + e*x)*(c*d^2 + 2*c*d*e*x + c*e^2*x^2)^p,x]

[Out]

(c*(d + e*x)^2)^(1 + p)/(2*c*e*(1 + p))

________________________________________________________________________________________

Maple [A]
time = 0.59, size = 38, normalized size = 0.97

method	result	size
risch	\(\frac {\left (e^{2} x^{2}+2 d x e +d^{2}\right ) \left (\left (e x +d \right )^{2} c \right )^{p}}{2 e \left (1+p \right )}\)	\(38\)
gosper	\(\frac {\left (e x +d \right )^{2} \left (x^{2} c \,e^{2}+2 c d e x +c \,d^{2}\right )^{p}}{2 e \left (1+p \right )}\)	\(40\)
norman	\(\frac {d x \,{\mathrm e}^{p \ln \left (x^{2} c \,e^{2}+2 c d e x +c \,d^{2}\right )}}{1+p}+\frac {d^{2} {\mathrm e}^{p \ln \left (x^{2} c \,e^{2}+2 c d e x +c \,d^{2}\right )}}{2 e \left (1+p \right )}+\frac {e \,x^{2} {\mathrm e}^{p \ln \left (x^{2} c \,e^{2}+2 c d e x +c \,d^{2}\right )}}{2 p +2}\)	\(106\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((e*x+d)*(c*e^2*x^2+2*c*d*e*x+c*d^2)^p,x,method=_RETURNVERBOSE)

[Out]

1/2*(e^2*x^2+2*d*e*x+d^2)/e/(1+p)*((e*x+d)^2*c)^p

________________________________________________________________________________________

Maxima [A]
time = 0.28, size = 36, normalized size = 0.92 \begin {gather*} \frac {{\left (c x^{2} e^{2} + 2 \, c d x e + c d^{2}\right )}^{p + 1} e^{\left (-1\right )}}{2 \, c {\left (p + 1\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)*(c*e^2*x^2+2*c*d*e*x+c*d^2)^p,x, algorithm="maxima")

[Out]

1/2*(c*x^2*e^2 + 2*c*d*x*e + c*d^2)^(p + 1)*e^(-1)/(c*(p + 1))

________________________________________________________________________________________

Fricas [A]
time = 2.68, size = 47, normalized size = 1.21 \begin {gather*} \frac {{\left (x^{2} e^{2} + 2 \, d x e + d^{2}\right )} {\left (c x^{2} e^{2} + 2 \, c d x e + c d^{2}\right )}^{p} e^{\left (-1\right )}}{2 \, {\left (p + 1\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)*(c*e^2*x^2+2*c*d*e*x+c*d^2)^p,x, algorithm="fricas")

[Out]

1/2*(x^2*e^2 + 2*d*x*e + d^2)*(c*x^2*e^2 + 2*c*d*x*e + c*d^2)^p*e^(-1)/(p + 1)

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 139 vs. \(2 (32) = 64\).
time = 0.17, size = 139, normalized size = 3.56 \begin {gather*} \begin {cases} \frac {x}{c d} & \text {for}\: e = 0 \wedge p = -1 \\d x \left (c d^{2}\right )^{p} & \text {for}\: e = 0 \\\frac {\log {\left (\frac {d}{e} + x \right )}}{c e} & \text {for}\: p = -1 \\\frac {d^{2} \left (c d^{2} + 2 c d e x + c e^{2} x^{2}\right )^{p}}{2 e p + 2 e} + \frac {2 d e x \left (c d^{2} + 2 c d e x + c e^{2} x^{2}\right )^{p}}{2 e p + 2 e} + \frac {e^{2} x^{2} \left (c d^{2} + 2 c d e x + c e^{2} x^{2}\right )^{p}}{2 e p + 2 e} & \text {otherwise} \end {cases} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)*(c*e**2*x**2+2*c*d*e*x+c*d**2)**p,x)

[Out]

Piecewise((x/(c*d), Eq(e, 0) & Eq(p, -1)), (d*x*(c*d**2)**p, Eq(e, 0)), (log(d/e + x)/(c*e), Eq(p, -1)), (d**2
*(c*d**2 + 2*c*d*e*x + c*e**2*x**2)**p/(2*e*p + 2*e) + 2*d*e*x*(c*d**2 + 2*c*d*e*x + c*e**2*x**2)**p/(2*e*p +
2*e) + e**2*x**2*(c*d**2 + 2*c*d*e*x + c*e**2*x**2)**p/(2*e*p + 2*e), True))

________________________________________________________________________________________

Giac [A]
time = 1.97, size = 36, normalized size = 0.92 \begin {gather*} \frac {{\left (c x^{2} e^{2} + 2 \, c d x e + c d^{2}\right )}^{p + 1} e^{\left (-1\right )}}{2 \, c {\left (p + 1\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)*(c*e^2*x^2+2*c*d*e*x+c*d^2)^p,x, algorithm="giac")

[Out]

1/2*(c*x^2*e^2 + 2*c*d*x*e + c*d^2)^(p + 1)*e^(-1)/(c*(p + 1))

________________________________________________________________________________________

Mupad [B]
time = 0.44, size = 57, normalized size = 1.46 \begin {gather*} {\left (c\,d^2+2\,c\,d\,e\,x+c\,e^2\,x^2\right )}^p\,\left (\frac {d^2}{2\,e\,\left (p+1\right )}+\frac {d\,x}{p+1}+\frac {e\,x^2}{2\,\left (p+1\right )}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((d + e*x)*(c*d^2 + c*e^2*x^2 + 2*c*d*e*x)^p,x)

[Out]

(c*d^2 + c*e^2*x^2 + 2*c*d*e*x)^p*(d^2/(2*e*(p + 1)) + (d*x)/(p + 1) + (e*x^2)/(2*(p + 1)))

________________________________________________________________________________________